Dishonest Reasoning by Abduction
نویسنده
چکیده
This paper studies a computational logic for dishonest reasoning. We introduce logic programs with disinformation to represent and reason with dishonesty. We then consider two different cases of dishonesty: deductive dishonesty and abductive dishonesty. The former misleads another agent to deduce wrong conclusions, while the latter interrupts another agent to abduce correct explanations. In deductive or abductive dishonesty, an agent can perform different types of dishonest reasoning such as lying, bullshitting, and withholding information. We show that these different types of dishonest reasoning are characterized by extended abduction, and address their computational methods using abductive logic programming.
منابع مشابه
Abduction in Argumentation Frameworks and Its Use in Debate Games
This paper studies an abduction problem in formal argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its argumentation framework. If the argument is not justified, the agent seeks conditions to explain the argument in its argumentation framework. We formulate such abductive reasoning in argumentation semantics and provide its computation i...
متن کاملA classification of abduction: abduction for logic programming
Abduction is a methodology of scienti c researches. Peirce showed three types of abduction, and expressed them by one syllogism. Recently various researches on abduction or abductive logic have been developed in the elds of automated reasoning and machine learning. In order to systematically understand such researches and to clearly discuss abduction, this paper classi es abduction into ve type...
متن کاملAbduction for Creative Design
Creative design primarily comes from innovative combination of existing knowledge. While abduction is considered crucial for design in general, the paper also focuses on the role of abduction to integrate knowledge. Based on Schurz’s classification of abductive reasoning, the paper identifies that abduction for integrating theories can be performed by a special type of abduction called second o...
متن کاملAbduction in Human Reasoning
In this paper we contribute to bridging the gap between human reasoning as studied in Cognitive Science and commonsense reasoning based on formal logics and formal theories. In particular, the suppression task studied in Cognitive Science provides an interesting challenge problem for human reasoning based on logic. The work presented in the paper is founded on the recent approach by Stenning an...
متن کاملA Note on Rule-Finding Abduction
The rulending abduction is an abduction which begins with the observation of a surprising fact, nds a rule in the set of programs, and proposes a hypothesis. This paper investigates such rulending abduction for logic programming from two viewpoints: termination and analogical reasoning. In order to discuss the termination of rulending abduction, we introduce two concepts of loop-pair and loop-e...
متن کامل